$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $>$ $j$) $\Leftarrow\!\Rightarrow$ (({-}$i$) $<$ ({-}$j$))